例句與造句

1. If constructive arithmetic is translated using realizability into a classical meta-theory that proves the \ omega-consistency of the relevant classical theory ( for example, Peano Arithmetic if we are studying Heyting Arithmetic ), then Markov's principle is justified : a realizer is the constant function that takes a realization that P is not everywhere false to the unbounded search that successively checks if P ( 0 ), P ( 1 ), P ( 2 ), \ dots is true.
2. It's difficult to find unbounded search in a sentence. 用unbounded search造句挺難的